An Isbell duality theorem for type refinement systems
نویسندگان
چکیده
منابع مشابه
Isbell Duality for Modules
The purpose of this paper is to extend the results of [Barr et al. (2008), Section 8] from the case of abelian groups (Z-modules) to that of modules over a large class of not necessarily commutative rings.
متن کاملDuality Theorem for Motives
A general duality theorem for the category of motives is established, with a short, simple, and self-contained proof. Introduction Recently, due to the active study of cohomological invariants in algebraic geometry, “transplantation” of classical topological constructions to the algebraic-geometrical “soil” seems to be rather important. In particular, it is very interesting to study topological...
متن کاملUnveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality
The purpose of the present paper is to show that: Eilenberg–type correspondences = Birkhoff’s theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T– algebras. Pseudovarieties of algebras are also known in the literature as varieties of finitealgebras. Two well–known theorems that characterize varieties and pseudovarie...
متن کاملBishop-Phelps type Theorem for Normed Cones
In this paper the notion of support points of convex sets in normed cones is introduced and it is shown that in a continuous normed cone, under the appropriate conditions, the set of support points of a bounded Scott-closed convex set is nonempty. We also present a Bishop-Phelps type Theorem for normed cones.
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2017
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129517000068